Discovering Forward Invariant Sets for Nonlinear Dynamical Systems
نویسندگان
چکیده
We describe a numerical technique for discovering forward invariant sets for discrete-time nonlinear dynamical systems. Given a region of interest in the state-space, our technique uses simulation traces originating at states within this region to construct candidate Lyapunov functions, which are in turn used to obtain candidate forward invariant sets. To vet a candidate invariant set, our technique samples a finite number of states from the set and tests them. We derive sufficient conditions on the sample density that formally guarantee that the candidate invariant set is indeed forward invariant. Finally, we present a numerical example illustrating the efficacy of the technique.
منابع مشابه
Invariance Preserving Discretization Methods of Dynamical Systems
In this paper, we consider local and uniform invariance preserving steplength thresholds on a set when a discretization method is applied to a linear or nonlinear dynamical system. For the forward or backward Euler method, the existence of local and uniform invariance preserving steplength thresholds is proved when the invariant sets are polyhedra, ellipsoids, or Lorenz cones. Further, we also ...
متن کاملApproximation of invariant foliations for stochastic dynamical systems ∗
Invariant foliations are geometric structures for describing and understanding the qualitative behaviors of nonlinear dynamical systems. For stochastic dynamical systems, however, these geometric structures themselves are complicated random sets. Thus it is desirable to have some techniques to approximate random invariant foliations. In this paper, invariant foliations are approximated for dyna...
متن کاملEntropy of infinite systems and transformations
The Kolmogorov-Sinai entropy is a far reaching dynamical generalization of Shannon entropy of information systems. This entropy works perfectly for probability measure preserving (p.m.p.) transformations. However, it is not useful when there is no finite invariant measure. There are certain successful extensions of the notion of entropy to infinite measure spaces, or transformations with ...
متن کاملLocalization of Compact Invariant Sets of Nonlinear Systems with Applications to the Lanford System
The method of finding domains in the state space of a nonlinear system which contain all compact invariant sets is presented. We consider continuous-time and discrete-time dynamical systems and control systems which may contain disturbances. The results are based on the fact that any continuous function reaches maximum and minimum on a compact set. This method provides estimates of the areas wi...
متن کاملIdentifying almost invariant sets in stochastic dynamical systems.
We consider the approximation of fluctuation induced almost invariant sets arising from stochastic dynamical systems. The dynamical evolution of densities is derived from the stochastic Frobenius-Perron operator. Given a stochastic kernel with a known distribution, approximate almost invariant sets are found by translating the problem into an eigenvalue problem derived from reversible Markov pr...
متن کامل